منابع مشابه
Nonderivative modified gravity: a classification
We analyze the theories of gravity modified by a generic nonderivative potential built from the metric, under the minimal requirement of unbroken spatial rotations. Using the canonical analysis, we classify the potentials V according to the number of degrees of freedom (DoF) that propagate at the nonperturbative level. We then compare the nonperturbative results with the perturbative DoF propag...
متن کاملSgml and Exceptions Sgml and Exceptions
The Standard Generalized Markup Language (SGML) allows users to deene document type deenitions (DTDs), which are essentially extended context-free grammars in a notation that is similar to extended Backus{Naur form. The right-hand side of a production is called a content model and its semantics can be modiied by exceptions. We give precise deenitions of the semantics of exceptions and prove tha...
متن کاملExceptions in Concurrent Eiffel
We describe the problem of asynchronous exceptions in Eiffel’s Simple Concurrent Object-Oriented Programming (SCOOP). We discuss a range of possible solutions to further enable dependable computing in concurrent Eiffel. We propose a mechanism to handle aynchronous exceptions via a limited developer choice, including the notion of a failed or dead object, and necessarily introduce a small number...
متن کاملHandling Exceptions in Haskell
Using a language without exception handling is like driving a car with no brakes and no seatbelt | things work ne until something goes wrong. You also learn to drive rather carefully. This paper describes an exception handling extension to the Haskell lazy functional language. The implementation turned out to be very easy but we had problems nding a viable semantics for our system. The resultin...
متن کاملParametrized Exceptions
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful computation and exceptions, which are heavily used in Java control flow. A technical problem that appears in this model is the fact that the return exception in Java is parametrized by the return value, so that method ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy and Phenomenological Research
سال: 2017
ISSN: 0031-8205,1933-1592
DOI: 10.1111/phpr.12397